restricted predicate calculus

狭谓词演算